Ralf Treinen (eds.): tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (6)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon, Ralf Treinen (auth.), Sophie Tison (eds.)

Năm:

1994

Ngôn ngữ:

english

File:

PDF, 5.37 MB

0 / 0

english, 1994

2

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon, Ralf Treinen (auth.), Sophie Tison (eds.)

Năm:

1994

Ngôn ngữ:

english

File:

DJVU, 2.81 MB

0 / 0

english, 1994

3

Constraints in Computational Logics. Theory and Applications CCL ’99

Constraints in Computational Logics. Theory and Applications CCL ’99

Hubert Comon Claude Marché Ralf Treinen (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 2.00 MB

0 / 0

english, 2001

4

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 2.01 MB

0 / 0

english, 2001

5

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 2.63 MB

0 / 0

english, 2001

6

Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Springer-Verlag Berlin Heidelberg

Johannes Waldmann (auth.), Ralf Treinen (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.09 MB

0 / 0

english, 2009